Grzegorczyk Points and Filters in Boolean Contact Algebras
نویسندگان
چکیده
Abstract The purpose of this paper is to compare the notion a Grzegorczyk point introduced in [19] (and thoroughly investigated [3, 14, 16, 18]) standard notions filter Boolean algebras and round contact algebras. In particular, we points filters ultrafilters atomic atomless We also prove how certain extra axiom influences topological spaces for Last but not least, do refrain from philosophical interpretation results paper.
منابع مشابه
Boolean contact algebras
The origins of Boolean contact algebras go back to the works of Leśniewski [8] on mereology and Leonard and Goodman [7] on the calculus of individuals on the one hand, and, on the other hand, the efforts of e.g. de Laguna [2], Tarski [12] and Whitehead [13] to use regions instead of points as the basic entity of geometry. A central role played the notion of “connection” (or “contact”) of region...
متن کاملConstruction of Boolean contact algebras
We consider Boolean algebras endowed with a contact relation which are abstractions of Boolean algebras of regular closed sets together with Whitehead’s connection relation [17], in which two non-empty regular closed sets are connected if they have a non-empty intersection. These are standard examples for structures used in qualitative reasoning, mereotopology, and proximity theory. We exhibit ...
متن کاملA representation theorem for Boolean contact algebras
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.
متن کاملExtension Properties of Boolean Contact Algebras
We show that the class of Boolean contact algebras has the joint embedding property and the amalgamation property, and that the class of connected Boolean contact algebras has the joint embedding property but not the amalgamation property.
متن کاملOn semi maximal filters in BL-algebras
In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras. Moreover, we determine the relationship between this filters and other types of filters in $BL$-algebras and G"{o} del algebra. Specially, we prove that in a G"{o}del algebra, any ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Review of Symbolic Logic
سال: 2021
ISSN: ['1755-0211', '1755-0203']
DOI: https://doi.org/10.1017/s1755020321000459